body { 
    background-color: #ffffff;
    font-family: courier;
}

/*div {
    padding: 1px;
    margin: 1px;
    border: 1px solid black;
}*/

#container { 
    width: 860px;
    margin: 0 auto;
    background-color: white;
}

#menu {
    width: 40%;
    overflow: hidden;
    float: right;
    background-color: white;
}

#node_id {
    color: #008;
}

.title {
    display: block;
    font-weight: bold;
    padding-left: 5px;
    background-color: #ddf;
}

.panel {
    background-color: #eef;
    border: 0px;
    margin: 4px 2px;
    padding: 4px 2px;
	overflow: hidden;
}

.hint { 
    display: inline-block;
    border: 0;
    margin: 0 0;
	width: 212px;
	text-align: right;
}

.hint#hint_fail_rate { 
    display: inline-block;
    border: 0;
    margin: 0 0;
	width: 110px;
}

#canvas { 
    -moz-user-select: none;
    -webkit-user-select: none;
    -webkit-touch-callout: none;
    -khtml-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

#canvas_wrapper {
    border: 5px solid #eef;
    overflow: hidden;
    float: left;
}

.button {
    display: inline-block;
    margin: 0 0;
    padding: 0 4px;
    width: 80px;
    height: 30px;
    border: 2px solid white;
    background-color: white;
    border-color: black;
    line-height: 30px;
    text-align: center;
    cursor: pointer;
    font-weight: bold;
}
.button:hover {
    background-color: #e55;
    border-color: white;
    color: white;
}

.button.disabled { 
    cursor: auto;
    color: gray;
    border-color:gray;
}
.button.disabled:hover {
    background-color: white;
    border-color: gray;
    color: gray;
}

.button#restart {
	float: right;
	margin-top: 5px;
}

.inputbox {
    margin: 1px 0;
    padding: 0 5px; 
    border:2px solid #456879;
    border-radius:10px;
    height: 25px;
    width: 100px;
    display: inline-block;
}
